Boolean function

Results: 326



#Item
141Model theory / Non-classical logic / Propositional calculus / Philosophical logic / Boolean algebra / Interpretation / Modal logic / First-order logic / Function / Logic / Mathematical logic / Mathematics

Fundamenta Informaticae ?? ([removed]–15 IOS Press A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning Patrick Doherty∗

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-02-03 09:26:04
142Electronic engineering / Reed-Muller expansion / Function / Logic optimization / Combinatory logic / Canonical form / Binary decision diagram / Path decomposition / Asynchronous logic / Mathematics / Mathematical logic / Boolean algebra

Sequential Logic Synthesis Using Symbolic Bi-Decompsition

Add to Reading List

Source URL: www.bvsrc.org

Language: English - Date: 2009-05-13 19:30:33
143Mathematical analysis / Boolean function / Boolean network / Lookup table / Truth table / Circuit / Monotonic function / Function / Boolean satisfiability problem / Mathematics / Boolean algebra / Theoretical computer science

Fast Boolean Matching for LUT Structures Alan Mishchenko Satrajit Chatterjee Robert Brayton

Add to Reading List

Source URL: www.bvsrc.org

Language: English - Date: 2007-09-26 01:21:56
144Non-classical logic / Linear logic / Quantum logic / Intuitionistic logic / Modal logic / Propositional calculus / Boolean algebra / Function / Interpretation / Logic / Mathematical logic / Mathematics

Linear Logic for Generalized Quantum Mechanics Vaughan Pratt∗ Dept. of Computer Science Stanford University, CA[removed]removed]

Add to Reading List

Source URL: boole.stanford.edu

Language: English - Date: 2003-10-12 15:40:30
145Non-classical logic / Modal logic / Philosophical logic / Proof theory / Provability logic / Intuitionistic logic / Interpretation / Boolean function / Boolean algebra / Logic / Mathematical logic / Model theory

Proceedings of the Third Conference of Mathematical Society of Moldova IMCS-50, August 19-23, 2014, Chisinau, Republic of Moldova On absence of finite approximation relative to model completeness in the propositional pro

Add to Reading List

Source URL: idsi.md

Language: English - Date: 2014-10-08 08:39:39
146Boolean algebra / Regents Examinations / Differential equation / Function / Associative property / Mathematics / Algebraic logic / Education in New York

Microsoft Word - Review Booklet Cover Page.doc

Add to Reading List

Source URL: schools.nyc.gov

Language: English - Date: 2009-05-21 07:36:13
147Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: osl.ugr.es

Language: English - Date: 2013-08-06 13:14:53
148Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ftp.heanet.ie

Language: English - Date: 2013-08-06 13:14:53
149Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: mirror.its.dal.ca

Language: English - Date: 2013-08-06 12:14:00
150Boolean algebra / Two-port network / Artificial neuron / Mathematics / Functions and mappings / Function

SUPPLEMENTARY INFORMATION doi: [removed]nature06451 Supplementary Information

Add to Reading List

Source URL: piercelab.caltech.edu

Language: English - Date: 2010-09-08 02:56:25
UPDATE